\frame[containsverbatim]
{
  \frametitle{LockCountAnalysis implementation (continued)}
Handling of Top and Bottom values:
{\scriptsize
\begin{verbatim}
  @Override
  public boolean isFactValid(LockCount fact) {
    return !(fact.isTop() || fact.isBottom());
  }

  public boolean isTop(LockCount fact) {
    return fact.isTop();
  }

  public void makeFactTop(LockCount fact) {
    fact.setCount(LockCount.TOP);
  }
\end{verbatim}
}
}
